Probabilistic modeling for dynamic processes
نویسندگان
چکیده
منابع مشابه
Dynamic Bayesian Network for Probabilistic Modeling of Tunnel Excavation Processes
A Dynamic Bayesian Network (DBN) model for probabilistic assessment of tunnel construction performance is introduced. It facilitates the quantification of uncertainties in the construction process and of the risk from extraordinary events that cause severe delays and damages. Stochastic dependencies resulting from the influence of human factors and other external factors are addressed in the mo...
متن کاملModeling Dynamic Processes in TLA
The formal development method of VSE (Veriication Support Environment) for state-based systems is based on a variant of TLA. VSE supports structured speciications, modular reenements, and also modular proofs. There are applications where one wants (or has) to consider an indeenite number of processes or even processes that are created and deleted dynamically. The general problem that arises in ...
متن کاملProbabilistic Simulations for Probabilistic Processes
Several probabilistic simulation relations for probabilistic systems are deened and evaluated according to two criteria: compositionality and preservation of \interesting" properties. Here, the interesting properties of a system are identiied with those that are expressible in an untimed version of the Timed Probabilistic concurrent Computation Tree Logic (TPCTL) of Hansson. The definitions are...
متن کاملA dynamic probabilistic material flow modeling method
Material flow modeling constitutes an important approach to predicting and understanding the flows of materials through the anthroposphere into the environment. The new “Dynamic Probabilistic Material Flow Analysis (DPMFA)” method, combining dynamic material flow modeling with probabilistic modeling, is presented in this paper. Material transfers that lead to particular environmental stocks are...
متن کاملA Useful Family of Stochastic Processes for Modeling Shape Diffusions
One of the new area of research emerging in the field of statistics is the shape analysis. Shape is defined as all the geometrical information of an object whose location, scale and orientation is not of interest. Diffusion in shape analysis can be studied via either perturbation of the key coordinates identifying the initial object or random evolution of the shape itself. Reviewing the f...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: E3S Web of Conferences
سال: 2020
ISSN: 2267-1242
DOI: 10.1051/e3sconf/202017505019